Makefile: Serialise stubdom build after tools
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 9 Jul 2010 11:22:52 +0000 (12:22 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 9 Jul 2010 11:22:52 +0000 (12:22 +0100)
commit4d0cb9ebfd1cafaf85376de4ad97b8abf798caf5
tree8febc8de875e890c1fe077b64e4d1620842f44c3
parent3130f964bad10c85c17b1e28ed9b278745a905b9
Makefile: Serialise stubdom build after tools

Currently "make stubdom" on its own fails because it depends on files
being installed by the results of "make tools".  This also means that
in some circumstances a parallel "make tools stubdom" (or "make all")
can fail due to races.  So make "make stubdom" depend on "make tools"
having completed first.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Makefile